A predicate-based approach to defining visual language syntax
نویسندگان
چکیده
This paper presents an approach to the specification of visual language syntax. Based on attributed graphs as the notion of abstract syntax, syntactical correctness is specified by a set of predicates over that structure. The proposed technique facilitates natural embedding of other visual and textual notations, the definition of complex syntactical and static-semantical properties, as well as precise error diagnosis and locating. An editing environment supporting this technique is briefly discussed.
منابع مشابه
Processing Of Syntax And Semantics Of Natural Language By Predicate Logic Of Predicate Logic
The syntax and semantic analyses of natural language are described from the standpoint of manmachine communication. The knowledge based system KAUS(Knowledge Acquisition and Utilization System) which has capabilities of deductive inference and automatic program generation of database access is utilized for that purpose. We try to perform syntax and semantic analyses of English sentences more or...
متن کاملRefinement as Inclusion of Predicates over Programs
An approach to refinement is described: (1) formalize the syntax and semantics of the target programming language; (2) specify the requirements by defining a predicate over programs that characterizes the possible implementations; (3) refine the specification stepwise by defining monotonically decreasing predicates over programs, according to decisions that narrow down the possible implementati...
متن کاملFrom Queries to Answers in Visual Logic Programming
In VL’96 we presented a visual declarative programming language based on two main graphical constructs: directed acyclic graphs representing predicate application and graphical set inclusion representing logical implication. We showed that with these simple visual constructs we can cover most of the representational demands of computational logic allowing a blend of functional and relational st...
متن کاملVisual Semantics - Or: What You See is What You Compute
We introduce visual graphs as an intermediate representation between concrete visual syntax and abstract graph syntax. In a visual graph some nodes are shown as geometric figures, and some edges are represented by geometric relationships between these figures. By carefully designing visual graphs and corresponding mappings to abstract syntax graphs, semantics definitions can, at least partially...
متن کاملA Graph Grammar Approach to Graphical Parsing
We present a new graph grammar based approach for defining the syntax of visual languages and for generating visual language parsers. Its main advantage in comparison to other visual language parsing approaches is its ability to handle context-sensitive productions which may replace more than one non-terminal at the same time and which may contain very complex context requirements. Its impl...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2001